Nuclear and Trace Ideals in Tensored *-Categories

We generalize the notion of nuclear maps from functional analysis by defining nuclear ideals in tensored *-categories. The motivation for this study came from attempts to generalize the structure of the category of relations to handle what might be called ``probabilistic relations''. The compact closed structure associated with the category of relations does not generalize directly, instead one obtains nuclear ideals. We introduce the notion of nuclear ideal to analyze these classes of morphisms. In compact closed categories, we see that all morphisms are nuclear, and in the category of Hilbert spaces, the nuclear morphisms are the Hilbert-Schmidt maps. We also introduce two new examples of tensored *-categories, in which integration plays the role of composition. In the first, morphisms are a special class of distributions, which we call tame distributions. We also introduce a category of probabilistic relations which was the original motivating example. Finally, we extend the recent work of Joyal, Street and Verity on traced monoidal categories to this setting by introducing the notion of a trace ideal. For a given symmetric monoidal category, it is not generally the case that arbitrary endomorphisms can be assigned a trace. However, we can find ideals in the category on which a trace can be defined satisfying equations analogous to those of Joyal, Street and Verity. We establish a close correspondence between nuclear ideals and trace ideals in a tensored *-category, suggested by the correspondence between Hilbert-Schmidt operators and trace operators on a Hilbert space.Comment: 43 pages, Revised versio

A categorical framework for the quantum harmonic oscillator

This paper describes how the structure of the state space of the quantum harmonic oscillator can be described by an adjunction of categories, that encodes the raising and lowering operators into a commutative comonoid. The formulation is an entirely general one in which Hilbert spaces play no special role. Generalised coherent states arise through the hom-set isomorphisms defining the adjunction, and we prove that they are eigenstates of the lowering operators. Surprisingly, generalised exponentials also emerge naturally in this setting, and we demonstrate that coherent states are produced by the exponential of a raising morphism acting on the zero-particle state. Finally, we examine all of these constructions in a suitable category of Hilbert spaces, and find that they reproduce the conventional mathematical structures.Comment: 44 pages, many figure

Quantum field theory on a growing lattice

We construct the classical and canonically quantized theories of a massless scalar field on a background lattice in which the number of points--and hence the number of modes--may grow in time. To obtain a well-defined theory certain restrictions must be imposed on the lattice. Growth-induced particle creation is studied in a two-dimensional example. The results suggest that local mode birth of this sort injects too much energy into the vacuum to be a viable model of cosmological mode birth.Comment: 28 pages, 2 figures; v.2: added comments on defining energy, and reference

Evolution in Quantum Causal Histories

We provide a precise definition and analysis of quantum causal histories (QCH). A QCH consists of a discrete, locally finite, causal pre-spacetime with matrix algebras encoding the quantum structure at each event. The evolution of quantum states and observables is described by completely positive maps between the algebras at causally related events. We show that this local description of evolution is sufficient and that unitary evolution can be recovered wherever it should actually be expected. This formalism may describe a quantum cosmology without an assumption of global hyperbolicity; it is thus more general than the Wheeler-DeWitt approach. The structure of a QCH is also closely related to quantum information theory and algebraic quantum field theory on a causal set.Comment: 20 pages. 8 figures. (v3: minor corrections, additional references [2,3]) to appear in CQ

Molecular Targets for Radiation Oncology in Prostate Cancer

Recent selected developments of the molecular science of prostate cancer (PrCa) biology and radiation oncology are reviewed. We present potential targets for molecular integration treatment strategies with radiation therapy (RT), and highlight potential strategies for molecular treatment in combination with RT for patient care. We provide a synopsis of the information to date regarding molecular biology of PrCa, and potential integrated research strategy for improved treatment of PrCa. Many patients with early-stage disease at presentation can be treated effectively with androgen ablation treatment, surgery, or RT. However, a significant portion of men are diagnosed with advanced stage/high-risk disease and these patients progress despite curative therapeutic intervention. Unfortunately, management options for these patients are limited and are not always successful including treatment for hormone refractory disease. In this review, we focus on molecules of extracellular matrix component, apoptosis, androgen receptor, RUNX, and DNA methylation. Expanding our knowledge of the molecular biology of PrCa will permit the development of novel treatment strategies integrated with RT to improve patient outcom

Involutive Categories and Monoids, with a GNS-correspondence

This paper develops the basics of the theory of involutive categories and shows that such categories provide the natural setting in which to describe involutive monoids. It is shown how categories of Eilenberg-Moore algebras of involutive monads are involutive, with conjugation for modules and vector spaces as special case. The core of the so-called Gelfand-Naimark-Segal (GNS) construction is identified as a bijective correspondence between states on involutive monoids and inner products. This correspondence exists in arbritrary involutive categories